Schematic Diagrams, XML and Accessibility
نویسندگان
چکیده
This paper describes work in progress at Oxford Brookes University. The aim of the project is to define a higher-level diagram description language for the World Wide Web, which captures the structure and the semantics of a diagram and enables the generation of accessible presentations in different modalities such as speech, text, graphic, etc. This project, called Graphical Structure Semantic Markup Languages (GraSSML), is decomposed into three levels: presentation, structure and semantics. Each of these levels captures a specific aspect of a diagram. The language at the structure level (called “ZineML”) uses SVG as the output renderer at the presentation level. The semantic level language is highly dependent on the type of diagram considered and the field in which it is used. The paper outlines the relevant limitation of SVG and describes our approach which addresses some of these limitations and can allow web graphics to be written easily and made accessible.
منابع مشابه
Ontology-Based Integration of XML Data - Schematic Marks as a Bridge Between Syntax and Semantic Level
This paper presents an ontology integration approach of XML data. The approach is composed of two pillars the first of which is based on formal language and XML grammars analysis. The second pillar is based on ontology and domain ontology analysis. The keystone of this architecture which creates a bridge between the two pillars is based on the concept of schematic marks introduced in this paper...
متن کاملXML Data Transformation and Integration — A Schema Transformation Approach
The process of transforming and integrating XML data involves resolving the syntactic, semantic and schematic heterogeneities that the data sources present. Moreover, there are a number of different application settings in which such a process could take place, such as centralised or peer-to-peer settings, each of which needs to be considered separately. In this thesis, we investigate the probl...
متن کاملCongestion Router for Schematic Diagrams Limited Distribution Notice
This paper presents a new approach to routing schematic diagrams. Heuristic global and local algorithms are presented which focus on congestion and crossover issues in the development of aesthetically-pleasing diagrams. Congestion is the basis for the global, and crossover for the local router. This algorithm can work on a completed schematic, but also can be applied to schematics that are incr...
متن کاملVerification of Diagrammatic Proofs
Human mathematicians often "prove" theorems by the use of diagrams and manipulations on them. We call these diagrammatic proofs. rn (Jamnik, Bundy, & Green 1997) we presented how "informal" reasoning with diagrams can be automated. Three stages of proof extraction procedure were identified. First, concrete rather than general diagrams are used to prove particular instances of the universally qu...
متن کاملVeriication of Diagrammatic Proofs
Mateja Jamnik, Alan Bundy, Ian Green Department of Arti cial Intelligence, 80 South Bridge Edinburgh, EH1 1HN, UK [email protected], [email protected], [email protected] Abstract Human mathematicians often \prove" theorems by the use of diagrams and manipulations on them. We call these diagrammatic proofs. In (Jamnik, Bundy, & Green 1997) we presented how \informal" reasoning with diagrams can...
متن کامل